

#ifndef _READER_WAVELYNX_H_
#define _READER_WAVELYNX_H_

#include <stdint.h>
/* Status code definitions */
#include "Reader.h"

int reader_read_wavelynx_tag(Reader_T* read, credential_t* cred);

int reader_wavelynx_load_default_keys(void);

int reader_wavelynx_init(void);

int reader_wavelynx_load_keys(void);


#endif



